p{-}measure{-}le($p$;$C$;$q$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$n$:$\mathbb{N}$. expectation($p$;$n$;$\lambda$$s$.$C$($<$$n$, $s$$>$)) $<$ $q$